A Multi-Step Approach in Translating Natural Language into Logical Formula

Translating often has the meaning of converting from one human language to another. However, in a broader sense, it means transforming message form communication another form. Logic is an important and ability translate natural into logic many different fields, which logical reasoning arguments are used. In legal field, for example, judges must reason facts presented conclusions. this paper, toward goal support kind with machines, we propose method translating representations using combination deep learning methods. Our approach contributes methodologies insights development computational methods representations.